Effective and complete discovery of order dependencies via set-based axiomatization
نویسندگان
چکیده
منابع مشابه
Effective and Complete Discovery of Order Dependencies via Set-based Axiomatization
Integrity constraints (ICs) are useful for query optimization and for expressing and enforcing application semantics. However, formulating constraints manually requires domain expertise, is prone to human errors, and may be excessively time consuming, especially on large datasets. Hence, proposals for automatic discovery have been made for some classes of ICs, such as functional dependencies (F...
متن کاملA Complete Axiomatization of Full Acyclic Join Dependencies
A sound and complete formal system for full acyclic join dependencies is obtained by adding three derivation rules to the axioms of multivalued dependencies. 0 1998 Elsevier Science B.V. All rights reserved.
متن کاملA complete axiomatization of higher-order intuitionistic logic
Two Hilbert calculi for higher-order logic (or theory of types) are introduced. The first is defined in a language that uses just exponential types of power type, and it is obtained by adapting the sequent calculus for local set theory introduced by Bell in [3]. The second one, originally introduced in [5], is defined in a language with arbitrary functional types. Using usual topos semantics we...
متن کاملA Complete Gentzen-Style Axiomatization for Set Constraints
Set constraints are inclusion relations between expressions denoting sets of ground terms over a ranked alphabet They are the main ingredient in set based program analysis In this paper we pro vide a Gentzen style axiomatization for sequents where and are nite sets of set constraints based on the axioms of termset al gebra Sequents of the restricted form correspond to positive set constraints a...
متن کاملRough Set Approaches for Discovery of Rules and Attribute Dependencies
The article presents an elementary overview of techniques for data analysis and predictive modeling from data using the rough set approach. The specific knowledge discovery-related data analysis problems discussed in the article are the discovery of functional and partial functional dependencies and the discovery of rules in data. The presentation is focused on the application of the basic roug...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the VLDB Endowment
سال: 2017
ISSN: 2150-8097
DOI: 10.14778/3067421.3067422